-
Notifications
You must be signed in to change notification settings - Fork 44
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
1398 remove default download zip extension #1400
base: develop
Are you sure you want to change the base?
Conversation
amarandon
commented
Nov 14, 2024
•
edited
Loading
edited
- Remove default .zip extensions used when a file to download extension is unknown.
- In HTTPDownload, use the value obtained with _check_product_filename() to set the downloaded file extension.
- remove output_extension from providers.yaml
This shouldn't be the case anymore as we'll be giving the correct extension from headers.
Test Results 4 files ±0 4 suites ±0 6m 4s ⏱️ +4s Results for commit 8001071. ± Comparison against base commit 175e167. This pull request removes 1 test.
♻️ This comment has been updated with latest results. |
Code Coverage (Ubuntu)
Diff against develop
Results for commit: 8001071 Minimum allowed coverage is ♻️ This comment has been updated with latest results |
Code Coverage (Windows)
Diff against develop
Results for commit: 8001071 Minimum allowed coverage is ♻️ This comment has been updated with latest results |